H ? « ‹ ← → › »

Language peer sets for Mizar 2:
Poland↑
Poland/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Mizar 2(ID:7819/)

alternate simple view
Country: Poland
Designed 1986

2nd major release of Mizar

Related languages
Mizar FC → Mizar 2   Evolution of
Mizar 2 → Mizar 3   Evolution of
Mizar 2 → Mizar MSE   Variant
References:
  • Rudnicki, P., Drabent, W., Proving Properties of P (1985) Rudnicki, P., Drabent, W., Proving Properties of Pascal Programs in Mizar 2, Acta Informatica 22, 1985, pp.311--331.
  • Rudnicki, Piotr (1992) Rudnicki, Piotr "An Overview of the MIZAR Project" Department of Computing Science University of Alberta June 30, 1992 Extract: Intro Extract: History of Mizar
  • Rudnicki, Piotr (1992) Rudnicki, Piotr "An Overview of the MIZAR Project" Department of Computing Science University of Alberta June 30, 1992 Extract: Intro Extract: History of Mizar
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder